<HTML><HEAD><TITLE>glb(?S, ?Glb)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(conjunto)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>glb(?S, ?Glb)</H1>
S is a set domain variable and Glb is the lower bound of its domain.


<DL>
<DT><EM>?S</EM></DT>
<DD>A set domain variable.
</DD>
<DT><EM>?Glb</EM></DT>
<DD>A free variable or a ground set.
</DD>
</DL>
<H2>Description</H2>
   Glb is the ground set corresponding to the lower bound of the domain of
   S. If Glb is a free variable, it is instanciated to the lower bound of
   the domain of S. If it is a ground set, it should be equal to the lower
   bound of the domain of S, otherwise it fails.

<P>

<H3>Fail Conditions</H3>
   Fails if S is not a set domain variable or if Glb is a ground set not
   equal to the lower bound of S domain.


<H3>Resatisfiable</H3>
   No.
<H2>Examples</H2>
<PRE>
[eclipse 9]: S `:: {}.. {1,2,3,5}, glb(S,Glb).

S = S{{} .. {1, 2, 3}}
Glb = {}
yes.



</PRE>
<H2>See Also</H2>
<A HREF="../../lib/conjunto/BNN-2.html">`:: / 2</A>, <A HREF="../../lib/conjunto/lub-2.html">lub / 2</A>, <A HREF="../../lib/conjunto/set_range-3.html">set_range / 3</A>
</BODY></HTML>
